|
|
1.
|
Software engineering techniques applied to agricultural systems : an object-oriented and UML approach
by Pardalos, Panos M | Papajorgji, Petraq J. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 630.2085 PAP] (1).
|
|
|
2.
|
Pattern-oriented software architecture, patterns for resource management
by Kircher, Michael | Jain, Prashant. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow John Wiley & Sons 2004Availability: Items available for loan: [Call number: 005.12 KIR] (1).
|
|
|
3.
|
Designing for the user with OVID : bridging user interface design and software engineering
by Berry, Dick | isensee, Scott | Mullaly, John | Robert, Dave. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: MTP, 1998Availability: Items available for loan: [Call number: 005.428 ROB] (1).
|
|
|
4.
|
Personal Wireless Communications : IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003 : Proceedings
by Conti, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CON] (1).
|
|
|
5.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
|
6.
|
UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings
by Stevens, Perdita | Booch, Grady | Whittle, Jon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 STE] (1).
|
|
|
7.
|
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers
by Priami, Corrado. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
|
|
|
8.
|
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers
by Broy, Manfred | Zamulin, Alexandre V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 BRO] (1).
|
|
|
9.
|
Grid Computing-GRID 2000 : First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 ; Proceedings
by Buyya Rajkumar | Baker, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 BUY] (1).
|
|
|
10.
|
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
by Brinksma, Ed | Hermanns, Holger | Katoen, Joost-Pieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 BRI] (1).
|
|
|
11.
|
Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : Proceedings
by Guerraoui, Rachid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 GUE] (1).
|
|
|
12.
|
Software Process
by Derniame, Jean-Claude. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 DER] (1).
|
|
|
13.
|
Foundations of software technology and theoretical computer science
by Rangan, C. Pandu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 RAN] (1).
|
|
|
14.
|
Object-oriented and classical software engineering
by Schach, Stephen R. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2002Availability: Items available for loan: [Call number: 005.117 SCH] (2).
|
|
|
15.
|
Systems programming : designing and developing distributed applications
by Anthony, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San francisco: Morgan Kaufmann, 2015Availability: Items available for loan: [Call number: 001.642 ANT] (1).
|
|
|
16.
|
Metamodelling for software engineering
by Gozalez-Perez, Cesar | Henderson-Sellers, Brian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2008Availability: Items available for loan: [Call number: 005.1 GOZ] (1).
|
|
|
17.
|
Testing Object-Oriented Software
by Kung, David C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: IEEE Press, 1998Availability: Items available for loan: [Call number: 005.117 KUN] (1).
|
|
|
18.
|
Computer science : the hardware, software and heart of it
by Blum, Edward K | Aho, Alfred V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 004 BLU] (1).
|
|
|
19.
|
Empirical Software Engineering Issues : Critical Assessment and Future Directions : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006 : Revised Papers
by Basili, Victor R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 004 BAS] (1).
|
|
|
20.
|
Decision procedures : an algorithmic point of view
by Kroening, Daniel | Strichman, Ofer. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
|
